$\forall$$T$:Type, $A$:$\mathbb{P}$, $B$:($T$$\rightarrow\mathbb{P}$). ($\exists$$x$:$T$. ($A$ $\wedge$ $B$($x$))) $\Leftarrow\!\Rightarrow$ ($A$ $\wedge$ ($\exists$$x$:$T$. $B$($x$)))